Make documentation build works outside of git repository
authorJean Baptiste Favre <debian@jbfavre.org>
Thu, 25 Jun 2020 17:58:34 +0000 (18:58 +0100)
committerJean Baptiste Favre <debian@jbfavre.org>
Thu, 25 Jun 2020 17:58:34 +0000 (18:58 +0100)
commit5b8233b82f044c4ccfb8db04391839046419a62d
tree93ccae356b93a445ad92df9362e5396e1bad0e7d
parent6992cd02edb0eb3b798f698068469de5f58f0868
Make documentation build works outside of git repository

Origin: other
Last-Update: 2019-01-03

Current documentation build requires git and curl to get some stuff from the internet
This patch aims to delete those dependencies, forcing git branch to master,
and using Debian provided plantuml instead of downloading it from apache mirror
Last-Update: 2019-01-03
Gbp-Pq: Name 0006-fix-doc-build.patch
doc/Makefile.am
doc/ext/traffic-server.py
doc/manpages.py
doc/uml/Makefile.am